perm filename TANKS.OUT[PIC,HE] blob
sn#677141 filedate 1982-09-07 generic text, type T, neo UTF8
@∧@⊂⊂λ@↓&)αβa&_
∩PU~`Iπ ↓⊂G#↓hλε%"λ∪ Dc8∨πb∩h∂λ%2λ
∧r8∪LDr⊃Jα@↓PhεGFα_⊃LD⊂x⊂λβ!HλCβ"(∃Kβ"⊃FC!PλEα!H
∧BA8⊃Hd1@ε↓Qx
C#qλ∧db0≠OD3(≥LDR(∀E¬∩H≠E¬!
&!
α$(≤∞π∀P∩&b_β1XεF`↓⊂D$α⊂↓¬↓0_λd⊃__HB∩⊂∂Gβαλλ∧eR(λHBa ⊂∂¬↓PhεF#aλ∂¬α⊂h∂ Cq⊂λαbb( Eea⊂εGeβλ∂λβQh⊃∧BA8⊃Hd1@ε↓QxλFcqλ∧dbλ∞↓βc⊂
L&r_∀LDR0∀IεA(⊃E¬∩_
¬∀X λd0h
&b( ∧D↓λπε`↓⊂H&β∀DE↓H∀CbAP_FD3λ⊂Cr`⊃Hdr ≠I¬↓_≡∀¬↓QXπ∧"QλλH#!@λC⊃xλBC⊃X∂fαH DαB⊂¬e"P∪HbAp#Qp
αAQx∂Gcqλ∧gα(λH∧c ∀ λd⊂⊃ ds_∪ E!
¬¬∩X≤E"1⊂Mπ∪h↔("`~ #PP∀F`βc0∞
CQX
εc1h∀Ceq(
β$A_λ$β≠K$s0⊃EεQp∀
∧R@∀¬αbx⊃λAb⊂⊃JAq0βd!pλBC!pD$↓(
!@`∞E`Q⊂¬λβb⊂∞E¬⊂p EAphεε!P∧gαp∩ D#_≠L∧U λJga E∧Q@⊂@%⊃ ∀Icd∪Ids8∂¬#Qh~IDbλ∞C βb`⊗∞E!@εCbq⊂∩λ$" ~G$∩∂L#Q_λD∩@∪Hg1 ∞ eα@∀¬β$⊂∩λεα λDAAX
GC1 αB!λβ!1H
a!X¬G#A`λ∧b"P∞¬¬QH EEαP∃
C`p∧dR⊂ @d∀∂ε∧∪@~
fA ∪E↓
¬∧R(∀IdcH≥ B2X HDb0
βdR0⊃∧`βbX∞J∧qpλ eαXλ
$a ⊃∧B1hλεAH∃G&∪λ
∧hb@∀ b0
¬α3(≡Egc( αα⊃0 π↓P(λB!0p¬Bα@P ε!"0∞π"!⊂∞Cd∪@≥
eBH
α!qp⊃ E⊃P¬Baq⊂ λβrλ
fCH∪ e⊃ ∀J$Q(⊃
Ha(∀EεCp⊃M`αXεI"aP⊂KD!_⊃I βc ∩π$2 ∂ππβp ∞'∩ ∩πda_λλ¬cλ≥⊂F"@⊃IdrP
λb↓_
IbD@$∧ ∧@ α∧1Xππ∧↓H ε` pλ↓a HεC!AπD#a`∪I#Aλ⊂εe"0∀πβ∩(
εd↓p
E!b@ε$1H⊂∂&α0∪ bB
¬αQ(∀Hπa0
E%"P∩I ⊃H∞JEc0! BB_λ∧@βd_~M¬4⊂∞CID` S B ∩πb3__HβbPλλcq_ IE⊃ ∂EαqH↓E∧30↔G'#H α∧1`∧∧B↓(
εb↓@λC!_Gc⊃⊂∞GEb(∂Gεβ_→M$αh∀FDRP∃
A⊃λ
λβq0
β@p∃a`¬αB(∪E∧ax∪¬)1(
@¬"P≠Mbα@↔DBb0B20↓λα"X≤∧b∪8∀Hi∧⊂∩Qh2( H%c∩Idq(∨J"BλEαq Db@⊂ G"⊃_⊃IF!( F#λ∪Ic!`∀GArλ Da1⊂∞∧β! ⊃OCB⊃Ids∀F2p≡L!Qp∂πF!H¬GCQp
εD2H↔a`αBH∩E¬cx$λ
AP
@λ∧∪ Aq0∂βbA_Kπ∩ ∩Hα"H∀E!b`⊃Mi"x→∂λ! ⊃B3≤⊃(b@~HdC EDB8∪Ddb0⊃π"a_∂Df1_↓NFb@∀Eb↓
λβq@λCbH∞∧α⊃0∃D h≡I$⊂X~Jβ2⊂#
Dq αE"
πCPX
J∧↓(
εAαBH⊂λ¬βx∃
*AH
@βα`!IβaP≠ε$2X≠Fα0⊃λα pπ∧β↓0∪J)A⊂∪∞D!8λλd2⊂(Q∧C∪DdR( πDa(∪Dda_∪H"Q ⊂L$a⊂∩M¬α_∂
∧2H#p¬∧aPp
β⊃X∀JbRP∪ "∩p→IC1(∂∞Fb@
αCa
BAA(C`qλ
α αBH
∧BS(∩Mπq0∃@¬Rh_∧ 0x⊂Bbs⊂→Hcb ⊂β@βApπ∧Aah
KBBP∪DBQ8→∂dR ∪MB2@≥H$a⊂
N$a⊂
¬αB@
If2P≠∞dr(∩Nbb(∀
B2⊂ ∧c↓PC#@x∂πB0x∪Der(∩BD"x→Fe∩(∩¬'38∀Fb@P D!Qλ
π∧QX ∧B αA
¬¬#x~
&A(⊃¬¬A8∩∧Fα GC2X≠HFβ@↔β@α!⊂λDC⊃h
λdC@≤G$⊃ ∩Ab∩λ≤$1(I&4λ≡Qλ3_∀
¬α
¬∧q_∩Nεb8λ⊃g⊃λ⊂Me↓λ⊂λeA⊂ε∧1(∀DβR ∂L¬r0∞H¬∩@π∂IDX≠
B4`$πa1⊂
Eβ∩⊂Gα@PπDB ¬Bc@H
E∧RP E!(∪λEC ↔Db1
HαpH∞⊂πC∂β@_↓
"R_⊃K∧S(λEDq ~MFc(≠Jb!(⊃DC!⊂∞ '#0~Lα0p∞Lπaλ∞g20∀Ie⊃ _
'1( λD2P≤L'#X⊂H&∩ H#1p∃∧"8≡N$∩%LGβ⊂-∂%r
F#Q(∧Eβ1@λ↓cA
E!0X∂J&"P
%⊃(∃¬¬B`_λ"2( ¬ar@⊂λ∧R( @∧↓0⊃K"a0∀
f∪⊂⊂I$b ∪ bA⊂LcA D$Q⊂ HCSλ∩IdB ∞Lβ2λ∀ε∧b(∀E$3_ IcR(∂J%α@∂ ∧Cx↔JAqλλCdβ ≥ESP~∧c3h(
C2@∞RHc ∞∧aq8∩H%⊂0επbQpλB@↓8QEQP LbB⊂⊂
'rPλD ↓0 b"(
BR@∀¬ ¬"@
λ"∩8≠M`A8⊃N"⊃ ∪¬α!⊂ ∞$b0∀dR ⊂¬%#⊂↔Ne↓x∃G∧!x
Hd2(≠EαC ~∂$⊂x Jdsλ∂¬a3`⊃Gb↓@
Hd3_∩K¬C⊂C&d ≥λed⊂≠Ci"(∂∧bQp
∧"⊃⊂∧a⊃ ¬B`↓
D28Jα1⊂∪¬'∩P∧"∩x⊃Mβr8
¬¬3⊂≤
`πdP#Je∩ ≠ bp_⊃∧"!_∞ α2( Nα2(∩Kf∪@∪IF3H≤ND!λ∞Jep
λ¬qp→
∧β8 %↓(∪Eεa∂
eα⊂→Kf⊃x∞I¬aλ⊃I#qx↔OIβ8∞Mh4P'⊃bαH⊃GBrH
εa↓pα#R_
α`p∂J%∪∩∧%↓⊂∀H&3x #↓`⊃∧bQH∀JπDp ∞@πch G2@∀∧&2 FBQ8 ∧βA(∪∞∀∩LDa_⊃∞Bα(_∂β@p∞JfBP↓ ∧AH∀∂∧Rλλ∧#rH K$"¬JCcx→ ααλ⊂Mβαλ→ε↓Rp≡⊃$∩H≥βAh⊂Mg2∃JBQ∧α!rP
ββ!H⊃Hda(¬ π∪H≠J$!8∃E%% ∀E¬!@
I"A@∃JGbhR
5λ→OIQh∪∞∧A0∂¬DRλ⊗λd⊃_
λ∧S⊂λIε"0↔E'"@∞G#B(εC"↓h⊃EαB
dB απF∩(#¬α∪@⊗λD#(∩@∧R(~K%RP!πDRX→FECH∩GaAPε%βP∪
Ca λD qX Dc⊃H≠Idrλ∩ ∧C@≠R¬∩H⊗EbSx
∧Q_∀
E#X.⊂(β
Pπs QEA∪Ic↓_≠b"0λI∧a_≤ B2(⊂Dd#0→IλS ⊂FcAh∂πBαX∞π∧"⊂⊃¬$!∂Cbq@_πB!_
¬3p &3λ εf1⊂↔L$#8
g∪X
∧"↓0DCα8↔OER@
↓aP Db0`≡HD#h↔@↓ ∀
¬α@*Tdu(⊗Jβ∩0≠
%$`≤R$∩∀⊂εr@⊂Jβα⊂~εF∪∪Eα"0 GDa⊂&∞DS@≥ b20∪fBx↔J↓1`D!ah∞λd#⊃π∧A⊂
E%α( D"bH∀¬H∧X(⊃Fa⊂~&"H∞¬βbH$∂fR∂¬Ca ∧A3_Fg3 α↓r ∩π¬αh! βsp_
¬αB` ∂E∀h∀
βs`≠Ngt8≠
∧c ∪J@αBcR8'∪(∪E∧R( $R0≤IbS⊂∩ $a⊂∩N'∩λλGe∩∞J#!P E2λ∩I$Q⊂
λ#q_ πεSp∨⊂βX≡L@#0→Q¬b_∪π"∩⊂∪LBa∃
#Q0λ∧↓"x≤F∧Bh⊃εd⊃_BA1H!N#"8≤EbpX
¬αB(∃ODQ0∩E$R(⊃∂H$h⊗K%2`∃J@¬∩H∀Ib20
EdsP∪DF#_⊃K&c_'⊂c∪X~H∧! ∪Dbr_⊃OGαP_M#A8
J"Q_→E%∪@≡ %∩@≤ $R8↔&!h⊂εε$0∩D(2λπH∧AX⊗∧dR_↔G¬⊃HEc3 ∃πE∩_
Ke∩0_πβ1X∃DBp`⊃¬bqp∪Ids@∃
FCp(Qda(⊂ε¬E⊂≠gD_ J`∧
Hcqλ
ε"R0 DH#8∩∞ ⊃0'∞b5 ∪Db3(≠∞ds⊂∀ g↓@≥K!`p⊃GCα0≥∞G3@_¬Cr@∪Ib x∩
eT⊂≥hBHπM 4H∞Db P
K'"xMes(λ βr0¬
$b0∞¬C!X∩Bα⊃0Ccα8αbq⊂∪Mπ3X∩@G%x≡Jαa0
Bc`⊂Ig∩`≠J@α⊃λ↔Ibqλ~¬"A⊂∧DR ↓¬Fr(~βcX∂Gbp`∩¬βa ∀I'bλ∨JC@p
F&c↔aBx∧εds(
¬xπEE3h$O'Q0⊃g2@⊃I↓⊂p πD1⊂≠LePP⊃J¬P~H¬QX⊂FCA@∪αbP@¬D"∩_⊃Ebph∪J∧⊃ ⊃O$1⊂
¬α0⊂⊂ICCX∂G'1x
¬α∩(∀ D∩8
∧b1 G$"`≠πD1⊂⊂ ↓rH Fc2X_Ib↓p∀I#∧8%TfqX
GFb(λπC↓X∞πCr
¬xπCdCP∃Je⊃8_IDBH∩Ka⊃0⊂F↓R_ I"!λ⊃Kc2`∀Fb!λ⊂πCQX↔¬bA⊂∧εBQ8⊃EbR(⊃εfcX_HbB_→
∧!0~λβt(π3¬ε`βr_~Rπ∀h_
ε↓_
∧B3_≠dB(∀Ld28∂G"p`
JdAP∀Ig∧→
"⊃λεG∧RX↔ ¬"8≤L&∩p
¬b1xαπar
IEα⊗∧Cc_∞πE∩H"M¬s⊂# "↓p∀Kβr0⊗ε!!∧C↓(∂∧α!@∧EαX≥Ng1xEEs`∀J%↓ ∪Ib3`≡αCS_ ¬cBX
¬εα@∃ E∩0→ID`λ ∧αλ⊃∧b1⊂
λβQHεCAqλ
Db"∃ε∧r`↔DB⊃λλDd"P_b⊃ ¬HβA`
ε∧b0∪∞εb_⊃LfSX↔I¬b λαER_⊂G∧RH→LD∩
IβR⊂
α!a8
∧"!_ ¬aPHεDd"X∃HαPλ∂
ec_
Ebp⊂∀E ∪`≡αCQhD↓⊃ F@¬α8≤λ%sX Da⊂∩$B D↓_
bR(∩F!q(⊗NF"pπL$↓x∃∞ε!x π"A0
Id∩h⊃¬` h¬GπR0→
i∪(~Gbr@⊃G∪∞∧cAX⊃ b1⊂≡LgRp↓c!HπDB!@B!aλλDαA⊂λFc X
¬∧⊃P_cα0 ¬CP_∪ α28∪BCR8∞IcPX
ε ¬b(∩ fλ&∞""(∩ Dc⊂⊂H↓A@∪EaP`ε dp8∪I¬X∃H$R0≤P$q ∂D!B⊂
BB`h ¬αPXF∧"x∞Jα"_⊗↓!@≤CF3_
Afch+∃(Rh∀Hebp⊗IA pλDA↓P⊃D!⊃λλε$b λCα8∃ ε⊂0 OcβH H¬"0∩GFB8∪BBA
πBAλ
¬ε2@→λdr8≤NB3P"S*#_∩∧CA@εEba@gq⊂→GC@`~λDc⊂∪JDR@→D#Q8¬ED↓
¬∧∩⊂∀π"b ∂ID1p∂¬$ P∩∞ABP∪λ$∪(⊂H∧⊃X∀HDRλ⊃E↓qλB ↓⊂
D!HλB"@πD↓pεGεt$KC∩H∂Dβα@∞
"1 ∀¬∧DbA_∧Eπ∩8λI"S@∩I(dP J(20∪¬#!λ∂¬"Q@λeq@∞¬#A`~
$c % ∧cP∪αq8
β↓Q_¬βα⊂λJ$!
∧fRλ↔Qα∩⊂
'a⊂↔
er⊂_QjbXβHCB@⊃GbP@∧B α→Fa1HεD"↓⊂βα↓Q_⊃Jβa`→∂∧2H
H"! ∩I$↓
¬ Da⊃ α@∧A(∞¬"B0↔H&c`∪ λs⊂∪↓β `
Eβ↓@g1x⊃J#ah⊃Hb20#∩dSP⊗H%1(
βc↓X∪ DQ8λ∧$x∞∧""∩%r →I(3∀Sh$8∨∪&a0⊂g2p∃λC!⊂∧B α_⊗λβqXπE#⊃X βa⊃
λE∪λ∩H%a⊂λf↓8λGb1
¬ Da⊃λ∧B ∧α8∪¬CS∧e∩H≥Tk↓(
DdrX⊂CB1@⊂ ∧A8∀
#∩8∀Ng2H≥OαE(↔H$h∪ε#28→I#⊂`HBQp⊃Eα0_ α↓x⊃H¬r8⊃$"P≠ε#∩x~
Da` ε↓ppaRX⊃Fβ#⊂λD"⊃λ¬∧b0@Hεt⊂! F↓h∂ID↓ IDr_
¬ Db⊂P ∧`¬Q@∪E"αH∀ #∩P∪J ↓0ε
∧αh∞G%↓P⊂F&1H∩K"C∀J'3`∀∀&∪`!IDaP→ dA`⊂GBA(∩πd1λ∩
∧A DQ0∩πEA⊂
dr0∂Oth≥J∧`@#AX
F#∩⊂πdr@λD"⊃@
πα⊃⊃πdα`≤∞!cP
HαB⊂∪λds8
¬ Da⊃_∞D`εr8~I&R8⊃πβ⊃0J¬↓λ⊂π! pπCdB@∀π%⊃X⊂βs⊂→@$q_ OαB@↔E¬1_BbQ@∃¬d↓8λ∧Q⊂≤ "B@~J&q ~$!X∪JH$8≡⊃EPh⊂K`⊂`¬aq(¬↓AP∀K∧2_
ε!⊃∧D@↓λ⊂BA h"Qa∪⊂→∧d"P
DgB@ Da⊃_ @π∪⊂→IF∪H λ%β0∀
&↓h∩πAahε¬c⊂Xβ!0XβF"B⊂Kf" _∂G∪λ_G¬A∩πd∪_ LD⊃(λDβ⊃_∂πEsλ⊂¬g1_ ∂E∩⊂_Jcr(∩F!AHF!`πε"pXBBA@εα0x∂DB@
Gβ⊃@∩Da ∃NarX∞βd3⊂⊂λI!_
¬αA ∧B!⊂_εα`π∪⊗⊃'CpλDQ(
#Qh⊂πe1XππD20F"q⊂∧!b`∪πf⊃H⊃He#λβε$A(
I$R@∩¬b↓ D↓q@λ¬DR(Icr_ HD`λ≠HB2λ εc⊂p¬ICAλ β$↓
D↓`Xβ"⊃λ∀β↓A_G qh∪α ∂KDah∩α#"@
FGa ∀¬αA ∧B!⊂`B`π∩(+⊃εb_⊂D&RP
&!`πDCax⊂#!HπEα @ππ∧⊃εEDB ⊂β∧q8∪¬αqp∪KdA8Ebq8∂εA!⊂εαc1 Hβ↓h⊂∧ar0 $Q_αeRλπGfCP≥ E∩X⊂IFQx¬B#1@
CQ⊂G!⊃h∞D!⊃(↔Ne⊃p↔H¬"⊂λπ∧"λ∀¬¬∪_πCaq@¬@εs_~L"B⊂Dβ↓@∂HβPpεεC"P∂GfQh⊂βCA
EαQP ¬aPp ¬$!X∃¬α∩_⊃πd00Ab0x
EB`@
D"a∪¬αqpλH""⊂λgα0αeR(λFβrH↔JeTλ"⊂&s_∂α#1 ∧dbp→
βA∧"⊃(∂G¬∩ ∩π"``λαaa(∀Df2h⊃Cap ¬B`¬P(∪πd↓λ EβαH¬ah∞FE#X≡Fde ≤αa0⊂G"∩0∧A1Pε∧dα@↔¬"2λ
&"0&∞%Q8⊃β↓q¬EE"(⊂αCbp≤∧Gα0 I)20α28∪LdQ(Gfβ@'
g∪_∂∧d⊃λππ¬⊃p⊂¬BQp
α!x∞¬c1_Eβ↓p ε%"0∀Ld#X≥ f∩@∞¬∧⊃0
λα!x
λ↓pPH∧αX∀Eα1h%I∧B_⊃I¬#P∩π$AxBb@p∞D↓Qp∃λBb0∪ H∧ ≥∞Db(
E! X∧B10αcbp H$a( GG∩0α28_$1_ H(∪λ⊂L 40
∧apPεH∧c_∞ d"_∞C"↓(∞β%B8∪GαQ`∂H%↓P∀∞b3H⊗
e4H(∂α⊃x
Db hπGcα(∩ "A(⊂J%∩H≠βe↓x∀DhCX ↓0X
εbq ¬HC@HπBB⊂hπL∧βP∀IdcH⊃¬"@x ∧"P¬Ba2`≤ $R
Hfs0
¬α3P≥I∧r0∀MJs(λRL∪X∧πA⊂X¬Gβr∀JDah
BA↓0∞F#R_∀εD∩_∂N$AX!Nb4∀GdQ@_M α∩h
∧c⊃pλHC@xπb⊃⊂
(CX⊗ε∧∀H≤
πβ( Dbq8¬EA@X¬λd!@∃Jf#⊂⊃NbQ_ MλβH∩E! `∧αrλ¬αA!_∪ DrP
Eg3(
b3 ≠
αRP∂Jλd8
R Tp ¬ H¬DbA@∀εfα
BA!(λDb1⊂
&C ∞Ld⊃⊂↔∞bD0≥ hchQα→bα_∩εbB(≤
∧1⊂I∧18⊃
$∪@∪I"CH∩¬↓8C"X∞Jβqx≥D30⊃P¬r0∃
Dc8π¬ ↓⊂λ%Bx⊂¬!!_ I¬∩H≠Mεb@∀∧b3_∪Gb↓x ∧d4X≥HK∧0∪IαA_∞Fa!8Darh↔Hβp ε¬B@P
πpX~MβA_↔∞d3X∀∞huX∀∞`p⊂⊃∧1λ~εdS⊂≥R%Q_
I&rH
dR8λHcq(↔Ne"F ⊂¬Ebq8∀π$"H∀∞b1_πλfd8→ cA@∞EBah
E!!_ IfsX
∧D#λ∀¬α1_∪ D"0!λ"3 +
$50∀βaX∩D↓! αB↓p∩H"1X
πbQ(∧Lcc↔c∩P#¬FsH∀Iα30~M@p⊂∞D3
Is(λGBαλ λ'RH
¬εD⊂∀JεQh~K$αP⊗LF# ⊃EbR∧D∧cP≥d1(⊃IfdH!L'∪λ∞π!`x∂J∧2 Mgα_
'c8
Eβa ∩L∧Qx∂ ∧!_∪↔∧∀≤ $Q⊂
F#1_∂πC∩ ∧D!X∞GbQx∃
%cλ≠JC#⊂ ∂Fd )NDQ_
`αλ~Eqh⊂G"∪λ∨H"bλ∪∞e∩X∀Hb20↔HI↓H#P∧αHπ¬Ds ∪Je∩p~
λ∪p
πC↓⊂∞
βc⊂↔
#R_⊂ B1 ⊃D2∪
gB K#α ∩ b!p⊃QλR(∂IJα(∀~("0&
Ca@∩λbAλ∂ ∧bh⊂C$RP∂`IcQhπ¬&β0≡H¬Bp∪ B∩@∀I`α8≥∂$Qp ¬GAx↔LBQ⊂≥∞B2@≠N"∩ ≡E&Aλ≥NF∩`∃ε εε"αλ↔JAQh_JdB ⊗NπRλ≠∂fAh∧"!_⊃π$b@∩¬Db0⊃isH→K"!⊂ Nπα(πI$cH⊂Rg1_≤⊂cap⊗GCPH∧B#!`⊗G%∩λ⊃CA`xλβ↓` IβBh↔MBB⊂⊃∧dr8 α3(~
D⊃( I#!_∪∂εA_≥Nb2@_Mdq ∪ε↓P≠I%1h
λE3x→ #⊃H⊃DGβX_Oeb0∪Ob@
HB!P↔IdAP∃∧#∪@∞D`qH≠∞gC`∀λD⊃⊂
∩Gαp∂LDR(∪∞$q` Ka⊃λ α"1p
Dβ`H⊂GA2λπCA`pα"⊃λ
βb20∪∞G#H≥∧dβ⊂∪Eα3 ∪Dcr⊂ GD! ∪∞E↓⊂'∞ds0E%∩X
πas∪H$qX∂ε¬BX∪C#α λ
%"_λJeQλ⊂π'cX≥K∧"⊂∃εc!P
λet⊂~OC↓8∃εDbP≤λB2 Iεα(↔λDS8 Crp↔! P¬∧Ds`≡∂πrP≥∞e#(_G`p¬α"⊂Xπεβ↓H⊗db0≤Gaq⊂∪E∧α@Kcax
Heα(⊂H"a⊂≥J∧sλ
HαA_→ B!(
Ed⊂⊂
∧1 ∪λe`x_π#Q8 H%!_~H∪⊂↔
CB0∃εD2 ∂)#pKE18
ie8∩DFα ≠
%cλ
Dfs0λ$R⊂⊂D@Xπ&$"∂πs(∃
E"P→FbQ0∧πBaH¬βDα
AαaPλD"a ∩J π⊂P
E2p⊂Cα2(→HbQ_≥IdrHλ¬βλ∀
∧r0 Ccs ↔βCα ∪⊂$α ~Aα ∧ε#a_∂H$sh∨¬¬b@∞∧DR( ↓%3_ Jα2(∀R'C`⊂∧B"
""⊂⊃DCC0⊂Jαα_∪C⊃0εE!pλ"b∃∞%"P&Oc2X
εaaλ∧BA1_∂∧B@XλβcA⊂⊂
∧Ah⊂EDRp∪Gbq∨λF! ≥Jα30¬F3H∀F∧AxλFec0≠
cr(∩λbX~FCA I↓!_∞
%S0≡ε∧`HεEαb(∩NG4`∪Tπ38∨
$a(∀NBbxλ@↓λ∩"$_⊂¬$!λ∩Hapλ∧Ds`# bQ8∪αQ(→Nfs⊂⊂¬↓! ¬π∧Bh≠Jb↓h∪π"qX↓
@βQλ⊂ BQλ⊃HDa⊂↔Hb"8≤M"38≥K&D$∞BA0∂Ge⊃(
εr0∂C"s8~DaQ@
DBAh λβ1@∩DF2 ∩ d∪0⊃N
¬λ≥∂gb8⊃Ih¬ ∃ε$⊃λIdb ∞Gd"(↔GC⊂xεIBq0
IcQh∪OλrPα¬eRP⊗E$β⊂⊃εβ↓0⊂FFSλ⊂C"↓
!x∂π@∧∩λ∃DF2⊂ ¬∧B⊂
DB28_ B2P∨R!bP∃JdA ∩F¬20
F%β( ∧AP
@r_
αα@P∧BαB_≠∂fc@
Eb2(→EcαX
g↓_~ fBH∀ α10
∧"1p∩E∧c@∩¬∧2_↔Aq(GF2_
¬'∩@
E#∩(∃ DC`~Ea_∀λ$a⊂∀π#R⊂
Ndα_⊃Eα↓x∂$2`!λBb_λE!sλ∪ B1 ∃∩fCx$∞BRP
Iα
Dg2@≤J#B`∩C↓⊃h⊂G#R0∩Fd30_Cd1⊂
EDRP≤JGs@
"a ≤αc⊂Je1(I"!∩Jβb0∩C%⊃8∃λb2P≤Lgt0≤ g2P∃⊃e!(∃ε&rP∀KαaxεDαH↔∧β#⊂εO%# ∧@↓λλf∪λH$⊂x
D"_HD1@
Pλ∧∃F¬αX I"@∩ e⊃8∩λE"8∩G↓Q⊂Ie2 Cbpx∪EEB@
Iβαλ≥ gq(
%∩H#¬%3p E#1H⊃λB2 _εdα0∞G%b⊂∃E∧c8⊗∧$↓(∀ "Q(JαB
¬%!(≤
e1H
λf∪λ~J&"(∪aQ ∧βQλ∧%S("H$2(∪NG#x∀$"@
Jbr0∧gSh≡J¬∩H∀IF⊃⊂∩DAS0∞πC"p~Mε2H∪εDα8~G$ ∩IB28
I ↓λ
%∃_!IπR@∀EeCH∨Fβ!⊂∩Kπ↓P∧Ebr⊂⊂¬∧A(≠E#↓ ∩E$A(
E"Q(
E$cx≤JE!`⊂εcα0ππ¬∩H∀J 1λ∧βaλ∞D!s_∃
cB ∩ q8∀Iεb@→J¬α@⊃I"@⊂
λbRλ∀Fdq@∀O¬3_≥K¬∩`∀
ε28⊃J%s@$Nπ3p⊗MfR0≤
Gs(∀IfsP∀
GQ0¬BB∀IC↓λ∩LGBh⊗D"bhλJ∧A8
IE↓(∃∧&BP∩Hπs ∃∪%!(HD!(F`q0πβAAp
Bαr I∧∪⊂≥LDqpλIe2λ∀ %!8$JE∩P⊗Jε∩_ E%∩@⊂
"A
λD2_∪
BαH
FDQ( ⊂`
F¬Tp∩ C⊃λ
∂gbP∃
GrP∩∧g"X∪JG⊃0Jβ!Hβ
π10⊃H∧αH⊗ε∧3@∂OαA8λbA(∃λG∪X
E%!(∃⊂πβ(
M¬∩(⊃ #q_πε!`p∧fRX
ε"X∨∂H∩h∪CDβλ
N∧s`∨
Eβp∪L"⊃8⊃ %BP⊗¬αBH∃
"RH %⊃_πFCRλεFc∩H∩¬%B`ε"!@OjA(
E"Q( De∩P∃¬#∩_¬E∩h g2(_π¬∩λ∂C∧b⊂∪O¬#⊂∀
βr8≤
BRPJBBPOfRh∃⊂'A8@%∩p⊂¬C2X⊂ea⊂ M π∪H∩Lg∪P∃λBsP≤
cp≤IHRP
βα⊂∩
FA ∨
"2H≤
brλD∧1`HBB⊂∪Fββ λ ¬2(∃λeQ ∨ε¬C0 ∧@ DfbX
E∧⊃ ∃FBc0∪Nh50+⊂ea_∧αa1_∩
d1
GFC≠
αH∨∩Gcx~N¬"P
Oe!(∃JH∪⊂∂#⊃λ⊂πaQλ IεR@∪Dd1@≥
E"0≡λcA_
Ji∩PbB0⊂IfB_∩HDBH∃J$Q@∩λ#rh≡Jebλ@bAh∪⊂α#⊂→Q$r8∃εε∀0≤∩dB ¬%"8∩MαA(
#βλ_GCR0_ %⊃λ
πAQ(→∧C∪p~K%⊃h⊂OE⊃ ∃
%⊃8
∞%"⊂⊂
¬"(≠ME2P↔e"_πGeα λK`εdx≥Ng2HQg2@≡¬ε28→E¬∩P∀∧`1H
∧Cα@∀De∪h∀EαB(∂E!λ⊃
Cr@∃Ccr⊂≥Jb28∀MbrX≠H%α0 S'∩ ∪Ngβh
I∧∩∩Le2(⊃J'b_⊃FFCλF∧∩_
πdt8≤M¬⊃`π
GC⊂∪ 2P⊃
BQP∀∞BC8
Dba(⊂EQ`∧D$⊃∞D πE→πfr ≠MdS⊂
JGt`≡FαB0 ¬αRP∩∧e∩8∀J$βx≥H A@∃E"2 ∪L#Q@
π"!p∪
Cβ0≥d!X_Ec1x∩MDs ∀J'P≡Rgc@
εA(
∞%∩
λI"pλλEph⊃
&↓p∃∧"α(HεβX∃Jπa(∃ EB`
JBsx∩∞EBH↔¬(a`∞ f⊃⊂∩D εS`#∞iB0≠Eε"H∩λ$"P
K"r(∪IfRP E¬bp∩EαBP∧α↓8∀Ld∩8∀F¬B⊂∞IDa_ Ie _≤λ¬#∃Jd$ ∞
π2@≠
C∧h≤¬"T0∩ #α β"
Fh⊃ ελ$ah Lf`x
εA!_ E$β8∃
fB@⊂ bQHJD"P
∂b2h!
¬48!OGbp↔π@∧30∀¬∧r@≡L$¬`≤K¬U_ ¬BC@~Id∩@E$C_∪IβR8⊃∧¬bx→M%β0≠FCqH⊂J"b(∃f∪H∃¬gSλ∃
ε$ G%A⊂→H$SP∀∧e2X≠HbS( Lfλ⊂Gβ!H→J↓PX
¬0xλD"↓@ π¬2X↔Lαsx∨F&2P∨Mλ∪h∃P¬!0!∪αr8-⊂G2
J@α2@#LB20
$∀(_
G#X→JBR ⊂E"1_∂EDβ_~
↓β⊂∂βfS⊂∩λd↓ ∩EaaP~M¬Rh∀∧f∪∀
πs
E"α_↔
Bb_⊗λf3P∀
crH≡LDR0⊂N$2_∩Dbpx∂G"QX
πβqh⊃∧b⊃_∩∧$β ⊂JG∩P∃∧B"@∃
e2P⊃
bQH∃O∧R`∪Mcqh
@∧sX≥R$Px~∧Fs`≥∞' 0⊃$3__εdQ(∀
dR(≠
α!0∞H∧! ∞H'β8→¬αA⊂∩Lcx~∞HA ∩λFc %
eQ( λ%⊃h∞¬εs_∪∧B! ∀IB!8⊂J"c
Eαppπ¬CAH⊂HπA0↔G#1⊂∞∧Bapε'∧H≤OJCx∃
E1@
MBR⊂
Nidλ
f"P→Lα28≠
Ib@↔H'S
π∀λ#N$qx∀F#⊃⊂∞GB!⊂⊂βaP∂Dλ$_∀⊂'!(∀J A⊂∩D$↓H≤∞%↓_⊃DCrX⊃λF2HπD%#h≤IEB0⊃
∧B(∀
's(⊃
I$p_∧αA(⊃KEQp∞L∧#$R)∪`∪¬A`8βAbA ∃∂gsp∃K∧"0∃Jg20⊗¬εt⊂≡OFsx⊂π@α!⊂~ '∀@ α'B0Edβ@~HfrH∩IεxπC`⊂⊂&↓ _¬*∪p⊂S a
¬αA0
Eα#x∨J∧2p⊂$b8≠I"Q ↔FA∩8!N¬R(∪He4λHHS_∩∧Fb(∧ba(∩JC⊃λ∃FAr≥∂ETP≤¬B⊂xε∧C``_¬%SXβεE↓0∩
ε3H)O'ax∪'∪λD∧"⊂≠H%∪X∃λλ!X
Ib20∩IGSh≡Nπ↓8α¬b1_
Ie`h~BGc`∞∞εC8≡O)#⊂≡Rεdh≤επ"h∀
)∀h%NπαXα∂∧q ππAα∂εβs8~IFE('MGDλ∩Eα!`⊗
C1 ∀CC_~PBs8∨Lβ!P Db1_∂
&s`∀J&"X∨
"A ∀J%" ∪ ∧∩λB ∧!p∞λDs@∞λπ∩_⊂Hα∩0∀ ¬∩H∀Eα@P¬αB1_∧εE!⊂∃CE∧8↔IBB0
¬αQ
εR(∪¬e∩X∩Gc↓0 Fαr@
π'r`∂εe∩
G&∪λ→εDR(≠MiTX≤ %qλ∂εFB(≡
dαλ$R%A@≤∂Cqx Db⊃X πS⊂
¬¬!(JE#H∃
Dc@≠π!AXβE ∧!⊂∩Fdb
∧dap Hb3_∪∧`P¬ ⊂λ¬"H⊂λDd@∀OGα ∀LE∩H
∧#∩x∩FEαX∀πβ1x→Nb"0∩ dbλ∞G$0p∪QC`x≡
%∧H⊃ I∩0∩λαAλ∩εE!p↔βar_∀Rεc⊂)S(∪Fc!@
πi∩H∀J)3p∃⊃E"P∨Tgcp∀E↓⊃@πC`∧"⊂~M&∪⊂∩LFα~Lα∪H∀ED2_→λD!`λ@Apx∧ε#RλL∧" ⊃¬%α⊂∃∂πRX∀J¬αλ∀E∧∩ ⊃FDr@
ε`!`∪
'∪8λME!x ∞BB@∀J$s@∨Qεb DDQp Cca0εα"!X
CBC ∀π∧c ⊂λ∧2⊂⊃J&Cλ⊂
E2X∨JBR@
¬EBE#↓Hλ¬@↓q`∧B∩λ ∧Bb # f3H∀λD3@#Mfr(λApPλF#AλλH$∩8 I∧bx∩ αBH∩J cH)M'a_πIc!p∀βQ`≤OFβp≥N&"H↔Fdr8⊃Gb1p⊃
(#⊂∪Hb Xπ↓b∩ε∧c!_∞B"cH⊂
#r β⊃(¬¬ε2h∨FBB0∪E∧`
λ∧Qh∪¬b⊃λ∧D ↓rx∨%Bh∂Hfb0≠Kg∧H∩ ∧!8∀J&rXβB ∩
$ x ∧βq( ME$≠∪¬β(
$SH~M&Q`λ
∧sX→NcR(∪G↓aX∂∩∧R@⊗Gfr(∩∂%∩0~
¬∪H~E AX⊂∧Bb∂ bQ@
∧d"`π d∪`∃E↓0¬∧Cb8∃G∧S ¬¬∩H∀HαPX↓B @πβ@↓rP~Erx_H$⊃@∀∧d↓0∪HB↓X≡λ∀H_εc"8_GαAλ↓ MDAλ≠∧eα_∪
bA_∪D$β∃Dβqxλ∧#⊂x⊗¬A⊂∂⊃¬0X∪J$2HDaq0
∞$q0%MBQH∀Fca`∩H↓1( @ε∩H∂∞&s_→Ld0xαA!h∩Ic∪∀EβB⊂≠HD1(∂α""⊂D¬Cλ⊂Gαα⊂
∧Db0∪N%↓p L%#h( g5_⊂Fe∩H¬CQ0Ec∩ ∩⊂'C0≠ πA_≤∩"2@∀∞(rX⊂G#c0π∧C!X∂πBh∂
%β ⊂εsλ∧α!@
JεC_~⊗πA¬Hda∧
Eα`⊗π&⊃0¬MfpxπCap(∧D ⊃X↔L∧s⊂≠ #⊂8β"1(∂∧β Hλε ¬↓λ∞NGuλ→HfsXIFAP
λfc@∨¬F∪xDE↓_⊂λEQ0Gβ2 ∩
&S(πGA ≡Qdr8≠e`H⊂¬"2h_ F#p πD"(πE#∧H≠Iλ$⊂λ fcP
εbP∪_GBλ eh⊗KC↓ ∂EHC0
Mfr@
¬∧⊃0¬Ba_∪∞DqX≥
αhβC`⊂@π∧erx↔H βrP≤εbαπHCqp∂∧¬ax H&2 ∀JHCH∃EDQxFDA(εBa0∧"⊃λJe↓λ∀Jα28!λCCPH↓r E'2hε Dqp∂E#∀pMh" ≠%S_∩¬Eβ`
Sg↓x_LBR∪M !0αEt∂
g#h∀
εR0∪β"` GCAλ∂πB⊂X¬Ca @λ↓$28∂λ ¬A
Lλ∪ ∂dαP⊂∧∧"λ⊂GD∪H_∩πSh→J∧s∪AB λ
Ba0↓_∀
B2_→DBc@∩FF2(H%∪PG&∩0→M¬Ax∂J#3`~
hBλ≥K%a_IDrp≠cbX≤Kd"⊂⊃Lλ∪_∪ε"CX_DDq
εcP⊗CpPεc⊃P∀CapX ¬!⊂HE$Q_∀H ¬b∂ d↓`λλβr⊗Fd⊃X∩I¬R8∪IbB0λGαphλF!qhH↓@P¬αA!_∀$C`≡
Dr_εb20⊗πf#λ∃L"q_⊂LAq_⊂ %↓ ∀J∧⊃`→He∃⊂∨Pε2_λdSλ LA⊂X∀
&R8
ε!BH∀EβRH
ε#"h⊗
dq8π¬c@0∂G'α8∃α⊂P LεAλ∪M∧⊃p
βdα εQx⊃εB"_λE"⊃_∪∧`↓λλG!qλ¬b1 ∂¬"PP¬αA"(≥¬∧"_∪J"SP⊃¬ebx∩∧$∩(∞πE∪∀GCrh_M"B ∀ε↓@h∞Kf3_∀
¬Bh Fbr ∞NC!x∂BaAp∞ICq(∀J&cλ∞Ih2P↔N&d⊂DC1h
∧¬⊃@∞KβP⊂OD0x≤λ`ε"HλCer(→∂e2h⊂πcax⊂DCq_ @βA`X¬α1(∩L∧↓h¬αA"(≥¬%#H∃EBc(∩Eb2p∪L$qH
Cc0x∂C@1λ~∞"#p⊗Hαα
ααax∩
D!X
Ff28⊃∞$`⊂(∩λ ε#q@
¬βAX∂λE#P↔Bdc⊂EA⊃¬ε#b` Mε"0∩CA⊃D@ε"_⊃K$R0→DArλ⊂H"⊃(∩LDC⊂_λB∩⊂⊃π↓q BCQGβPhλBB38≥ $sλ∪Ee∩(~Ed#0≡
Is@ ∧c2∞G#∩λ_GαCpD∧⊃p E#QPπGαx⊃J%Bλ IHbp Heα_
H%B0¬Bp⊂ βd∪λ≠⊂&C(
F↓@xλHβP∞Jβsλ∂∧$αλ∀∧`∧∩p
i¬≠¬∧α⊂λλ∧!(≠O&D⊂→M∧"⊂⊃εbαλ∩E!B8∞¬$ah α#28∀λ@R⊂→
αb ≠Iα∩x∂DαS8~IβqP⊂E↓Rλ↔λ"BH
λB↓H⊃πCPX∧D#aλ∪H#bh∂D$s8#∩*∪`∩β@P¬A0h DaQx∪OeR ∞πα↓¬E∧∧ Feα`G$α εH ∧∪h⊗KDD #⊂∧∩λλ∧α↓⊂≠MB∩(_DB⊂λ@α⊂h∀∧c↓λ∀βC3H≡NHQp Igcp≠Jαc0≠g3(_
b"P∃¬%∪p∀εbSλ_H%∪p↓D"⊃`λFD↓(
πB2_⊃¬%#x→∂DbP∩
GRP∪
B↓X
¬D X¬αB1`∃λBqXπεB2⊂¬C3⊂∀GA( I"B⊂⊂λ`βr _R∧B ∩Q%2_λDα↓⊂∩eQ⊂ λ∧1λλD#1εEBP∀Eα"`≡PEαP⊃N'∩8∪D α_⊃KbB(⊃PFbp∃
εA@⊃Jα1 ∀E∧∩H⊃D ↓(HAQHDα!@∃
c∩0∪⊂ cX∪∧D2@~JαB⊂¬Fd X¬αCPX¬D↓a8 ∧Bh EA3⊂_G¬r⊂∃KA2(∀F βcXβ
GS0 MCq⊂∞@dC⊂λD3λ⊃π#A
∧"⊃X
I↓a@∩F@H↔¬&∪8~λd1λλD α_⊃LεR⊂πSEβX∪¬"Qλ⊂∂∧q
αA λD"⊃`∧λB@⊂
Cbα⊂
Jβα(∩DBRPDbX⊗O"rλ
EF!Xαa0G∧Ax⊂J%↓⊂∩λ R≠G∧rλ⊂εc∩h⊂βahG$b ∞
d1`λDDC( HeR_ I$Ax
D ↓P
F↓PpπFet_$⊂Db8≠ dq⊂ ∧B∧_→¬%α ⊃Jf!_
N%2X
O∧rH∀@%∩HλD#AX
εβ⊃0εβbRλ⊃
∧"( DDb@∨∂ddλ! E#x↔∞&S⊂¬B1_εf↓p⊂J$a⊂→M#B≤N$↓X∂βar⊃H`εA∩πβb⊃Nerλ λ¬2 ∂πD2(λπ"⊃(πD#Pλ FC⊂∩IEt_$∞G1_⊃Idq⊂ λβcH⊗βsλ→F3@⊗λβ0 Ib#h∀EπRH↓S(∪E#0pεβαb⊂
Fb!⊂∪Eα2P∃Jddλ↔βcα0∪
%B⊂¬A P¬G&"(∀∂εc⊂≡O%∂πApx∃πABλD ¬a8
G⊃X_λd2∂D$3
Kα1λ∩
#A_λλβq_α b↓∞G ∩ αQ λ¬αQ ∪C#b@∩L ∀@≤ (T(∩EBb0IBBH⊃E¬⊃ ↓R@
ε!PxE"AP~E$ap⊂↓$R ⊂
"B`∩πE"H
εε∩P¬EAP`εKHrλ
EcA`)⊂GR(επCbPπCCbp
¬βrεGCB8 D!8λd"λ~E∧2@→
$∩⊂λLd xπK#RX⊂
Aqx⊂λ∧@`
∧b!p∪DCb⊂I"c(∂∂εc@$MFc ⊃ D3H≡M)4H∀¬↓QXF!0`εαa1P∪I'↓XλIG∩0≥O%⊃0 GCα0⊂GBb∩πcR`~∪I⊃⊂~∂
#_∂∞h∪@
E!rH∪Gcap∀J βap∞EC"(
¬∩X∨
'28∪G#s0⊃∧DR⊂λD xπJ!px~∞βs⊗πb
M∧r_∪D%B↔NFβP∩∀$A ≠
Ht0#⊂¬rH→E¬∀@∀¬↓QX∩I¬1P∞εAQPF∧Qx
G↓QX∨
H∩λβ¬CRh⊗∂"a¬c↓ ∪∞DR(
¬∩ ∀J'd⊂_Iα⊃p∂#1x→J ↓qx∞EB" ⊂
%∪p)UGR ∪Hπ$p
∧"⊂λHD xπJE∩HππC1λ∧βB∩¬αA
Ea_∞JK"(≡∃'βp@!1⊂ D%a≤
∧S`≡¬h
HC⊃HdaHH∧Q`∪
β2@∀%β0↔ ¬qp∃λE1X¬DcBP≤⊂"Dh~ #⊃`~NG!_↔Iα⊂pπλ¬!XλL`α↓λ Iβq@
HDc8≤
'"8Eε∪h
∧DBp
DA_πcrp~KAq ⊃D∧3 ∩¬αA@¬r0∀λ)⊂0≤⊃e"P≥Jπ4@~IεQ@≠T"$P(JεFc∩⊂∂λ"1∞M∧↓H∪aPhλ&28≤⊃Fcλ
Jdαp∀H#"`≤ChcX∀π↓h⊗∞π∪⊂⊃
&∩ ¬e∪8∀Nα⊃h∂EαB⊂
E$RH( e∪`∃¬∧B@I&∩8≥Jε28
∧α↓x↔Kd1`
EFq_λ∧αα(∀⊂$R@∪I&R@!
$β_∀ Ebp↔π%r8≠T's(≡O%↓ β!Phα∧DS@≤∂epx⊂
x¬F∧Bλ π!q0∩cP@∪Hc38∩NHS⊂∃Ed!8¬Fc⊃h $" ε¬∩H∀J ↓(~M%∩H∩¬∧∧X-∀gRH∃E¬βh≥Lf!p≥(d8≥Eα@λ ∧r(∩ daλ∧α↓∀∩εBX≥G↓rX⊃Hc↓8εBb∩X⊂CCax⊃εe⊂h≠⊃'B@⊗πbq8≤g"0∪erP∩
Bq8Ed1X⊃JeR _OI4 ~ eα(↔M∧QhEd"⊂εαaα@β∧αλ ∧BA
¬α↓H
J'S_
¬eBP∨
"B8
πDx'QBB∩L%∧@$ b@∧g$ NG⊃_λβ!λ⊗Nβα0⊗λ∧!pλABpE↓QHπε#r(∩εf"X≤E∧R@≠HFc0%J%∩(∪I"0(∞L#aHDC↓@∞FDβλ∪Eb2@≥ α2(≤N$Q⊂¬¬αB0∩G!"⊂∪Eβsh ∧@α∩ ∨J∧∩P∩λe∪@∃E ∩λ∞MeβX⊂HFB8≤N$Dλ≥IdA_∪QkUH~∪)Q(λ∧↓q8∀
G#λ∞
#↓(∂F"↓hε#∩`∀βd↓0∪FB"≤⊃αB0Lε1 bβλ%
f1hλ⊂c1`∃λe3⊗IπD_↔D"!@∩J∧A ∪I`pHd2X
!3_≤¬ε∀p ∧@`εβα∪ *∂αS`~E∧sh~∂'Sx≤J∧⊃(∩IG3P
Nhb0≥Nb1_∪Mj#@∀_ A ⊂D!A_↓JπC`≤¬∧2_¬"Q`εF#∩0⊃GαaP≥
βC⊂∀OπQ ∪βbαX≤Lπ#_~KDα
λ$1p∃FBA
∧CB
∧R0∀Dfc0∪Daah⊃K∧h G#C_≤εH4_`εβα30.J"TX≠JcαH∂J%∪0∀EεrP∀ Hs(∀ dr_≥∞b1_ N)B(≥↔g⊃_⊃λE! ∃H&b@≡λdBH∂Ccr Fc2_
$Q ⊂ εs(⊃Eεq_⊃εF∪0/∂βR$ α∩(→Bba`¬Db(
H$" ∩ εCP∩MCr(≡∞π∀λ~DD⊃
αBRh!G&4`λ∧`εα3(≡Eε∪`→
BA ¬αA@Hda8→IBB_∩Eαβ J∧2( %dλ≥U'⊃_⊃λE"⊃πC`∀∞b2(∃FBrελc1@ελ&βx∀
H∧X∂C¬α@λDd⊃
dr0#ε"↓`→πbQX↔&S(≥LFr ≠ID↓(∩IBRH
ε&α`πεc⊂p¬¬"Rp)Hε5H~ αA(∧Cα2@≡Ger8∀∂"A
λf∩H∂J%⊃@∂λ"⊃ λDbr8 ∧b!_
∞DR0*Ud`_→
Arλ→λ∧x∞f!x∪Ie18πCa@λ¬*S0∀O(Dx~β¬α@∩¬ε3`(∞hbx→Jβ↓⊂ M$1(∃εe∩@⊗HεB(∩I$! _M!r8⊗
C⊃X∞G%⊃_∪Hdα`#Hε4≠KGC∞¬α3 ≡E%β`∀R%↓ ∪'Sp~∂$s∪¬∧A(∂IB∩_
∧b0 IEq⊂ N "≡ε%∩λ F¬1x⊂ERH~IcQpβC`p≤DJ∃8⊗ λ∧H≠λ"A ⊃E∧3`≡λb1
&R0
ME`p∀
%∩ DesH∪OfC ∀Id"8∃EfB` ∧∧aP∩GcBp"KH∀0βDdt_≠Jα30≡E%↓(≡RDs0∀
α#⊂
"2λ≡
%α@λM∧R(∪π$!_ Bb⊂∀ d∩`∞∧#bH⊗Fα8↔ b∩xIcQp
λ↓0∃F uλ≠λCC_ M!BJE2_ Lπ∪λ~∧g∪ G$QH
Fc1_ DcqP
λβq⊂∪Hd#λ→G$3_∂BB@@λEqh≤D)∪@~ αA_
λ`αB ∪D"A ∀
αC0
E`⊃(⊃EεC8≡E%∩_
∞Gα_∪ FB0 Eεb8λ%bp⊃KCqh
∧cB ⊂ #b⊗∧d28∪Ia∩P∃Nπ$ ∨∀f h≤Pfbλ∞
%∪H↔λeα@⊂L`β_∪ε#2(¬%↓0⊗FF↓`∀πβ!p∞JFqλ!ODQ_
c!h∩
$∪x" erX¬#↓0⊃JαB_
αS ∃
'Sh
¬B!_
'#X
¬$1@
J%↓_λλeα0⊂Ig28→G&∩8
λB"X ∧eRx∪DF20∪ %!h⊂
c"8_π∧r8∀O'Sh
cRλ⊂¬#∩__πε⊃(
ε1⊂
F⊃⊂∞H%qp⊂εCQλε∧AP∂I&α0
D!0π $b@∂λBr8
Gβq@→λB⊃
∧a⊂ Dα⊃(∀He↓ λHEα8
∂'S0
"bx∪He↓p⊂λλβ⊂∞'px L'↓⊂∀CcQλ⊃∧$#_≤KB!0 CβC∪II#X≠βB1_ J¬∪h∃Nπa8∂EB@PπFβαP
∧BR@⊂Ggβh≠∩(bp↔Gβ"⊃L¬α(⊂Lf3(∪GfBX∂H$∩λ
EE@h∞πβ!0∃Hα!8∀∧`∧ah∞DB! ⊃DDb8∪G'3X∀∂(S8&Gβα8→Hda⊂λεGb0
G`x PF⊃λ_HE!_∀πb"_⊗¬#∪ ∨QJ#⊂~&βX→I&1⊂∩Ie∃&HK∪(∩εαApπ¬∩H∨
BQ_≥ α1H⊂πebp≡M#QP∀DαA8 DβSH∀C(spε∧!QP⊂λb⊃x
Kα1P⊂∧"!
∧a_∩Eb _∩∧∧SH→HH#X↓ FR8λEc"x↔¬∧AλD¬a⊂λDf"H∞∞D⊂x E!8⊃∞"p λGε3⊂⊂L'⊃h_ε$uλ⊗ &s8≠IF4x&H)t⊂I!R ∂ (c0∨↔ !(∩T∧1(∂ %!H∩Cc"(↔ε↓Qp∩βaS`≤D'D0 D"⊃λλd2λ⊂λDβh&
DR( `¬a⊃¬αP ∩¬dTλ⊂g∩8λMEA λCb4@→∧α↓ D"xπFβα∂π"xλπF∩X∀KD`pβG∀ ≠εD↓pε"∪h DaX_IBCH≤¬F#8∞ε!3_∪EπU⊂∀NBP
⊃FB(⊃Qλ"(→ ∧phλDAB C!R(¬∧3⊂⊂π`↓λ⊂λd3 λdαλ Dd1@λJεA`⊗πe⊃x∃DDTH⊗⊂ ∩8λQFPX EB"P⊗λ∧∩λ→⊂D2⊂⊃¬βQλβ↓Dβ⊂pGεs_∪Cd∧⊂≡Ngb⊂Db30≥∧Dα_⊃"bH,c$_≤KC∩8⊂
+∃⊂∂,cp
∧! ⊂DD1`≠Q)∩ →¬b∩ ∩βaS`∀E"$0⊃∧cqλλDb2_⊃IdQ⊂↓HE∩H∂∂∧!λ≥J%qp↔λ#cλ CeS _KC1⊂ ∧↓pλD"↓λ⊂N∧"⊂⊃D"↓λ
dβ⊂Ge"P∪ε@!h→G"#_≥∂π2`
HER@≠E∧c(∪dA(≥ #α_↔Dβa0∂∞εc ≠OKCp∀J¬βP∀λcB@
I&r0⊂CBB(εC↓R
G#1_λλD↓λλDb2λ Eα3 !I$a_ Oπαλ~D#Ph⊂πCrλ∂πesλ∂D#c⊂F"βλλε#aX∪LBα`⊗βbβλCaq ↔Kβ∪_
Of p∞ c!x∞J"P⊂∃¬eα" f4H↔∞DAX
IEα ∞
%!PεHba #∩'↓(∩Ebr⊂_I#c⊂∩ ∧α_ε↓AHε¬↓A@ε∧B1⊂ α!_ MFB@~∞G∀X≤IB⊃
ε1∞F#AH∀π#axλ dqλ⊗¬c∩X⊃D∧↓λ⊃caλ⊃$"⊂⊃∧#Ah @Bα_
$αxλG%2X∞βC⊃ N$q_∞Heβ∪ ddX∨NH"((∪`≡ EqH↔λαC ≡J"A ∀∂'RP∩πf!_→KEb8∪Fcβ
C ↓λHfS(∩Hd∩8∪MαA
¬ε"0HEC∞O∧"λ∀
GQX⊂π$1x⊂λ∧r⊂λ$!h∃Gα⊃`λ∧"1h KEr⊂ ¬#⊂∂∧αα≤Kε∪x
βQp
ε#Q Kc`@
¬eβ__J¬%⊃ODB8D"R8
@'↓@∀E¬∪h∀¬∧B@
&1( Hh∀ ↓ D"λ∂FAb@
FβA@εDb2_⊂DD↓x JαB
dcH↔∧αB⊂→J∧∪⊂~E%⊃p≠J¬bP∂
¬bH≡Gd1x_∧"2λ_∧B λ∧∪λ⊂JF#⊂λDαα~CHCxπcsp↔I#bpπLf@0 ba0↔ gDx~Ne∩¬F1
$Q8 I"rλ∩I&R
Ddb(∩ID"∂Edp`ε∧↓R@∂∧c2x!Ng28~ B1⊂
¬α@∪NG∪@∩ $SX∀E¬"λ~βH⊃xIcs@~KG1⊂∂∧"⊃h⊃εdA DDa_∩Ifbx≡HD∩H∂λ$∀πλH∀∂Kcrx↔GcchπLg"8⊗ $Ap∂Dg4x∪Ig!_ Dd1_MbB_
λb1λ≥∞FPx¬E1 ∂Eαs(⊃εBR@πDα2x⊃I)%02PIα8
@↓(∀
¬α@∪Db1 ≠S"3`≡Eα↓_∩¬Dq@
DS_→HDα ⊂πc`@∧1λλπAb ≠Ii%⊂M&b_λ#RXλH&α↔Kb↓λ∧¬cx→β2⊗Eaa8∪ %∩8_Hf∩0→ID#P∪
∧10∩EαB_∀Kg↓@
λ¬∪0
"D0∩L∧D0 ¬α3_∂πεQ(
Dg28 IB20∪↓_ Ids(≠
$4(≡Eα⊃8∂∧EA⊂@B↓
ER_ ∧"⊃λ∩ ∧B ∩εB⊃_ λ∧α⊂∃'Bx⊗J$∩⊗Kεα↔Ke∩p↔εC`x→D28⊂∧c10 "1_⊃¬εB_#MbSP≥J¬αHλ"⊃_~
$α@↔λd1
BBH
∧α∪P⊃D@↓
&c`(⊂Iα8∪Db1_ @↓_ Hc`∀
¬β`∀α↓⊂λλD2p~⊃(4⊂*Qε2_ ∧"⊃λ∩ ∧B ~HfR`~MHs`~
'ax⊂LF#λ_H"↓∂Ge3(∨ICs0βe"`∂GB!_∧D"8∪Idq_∪ B20∪¬αB⊂⊂Eβc⊂≥⊃j3@→Hd1
fS8∀∞ds(∪LBA ∨
'Uλ2Ng28∪Db1_ @↓_ Dcc(≥Ndr8 @